El Proceso de Adaptación al Espacio Europeo de Educación Superior en la ETSIT

Este artículo relata el proceso que ha seguido la Escuela Técnica Superior de Ingeniería de Telecomunicación hasta la fecha para adaptar sus titulaciones al Espacio Europeo de Educación Superior. Como resultado de este proceso se han diseñado tres títulos de Grado que habilitan para el ejercicio de la profesión de Ingeniero Técnico de Telecomunicación: Grado en Ingeniería Telemática, Grado en Ingeniería en Sistemas de Telecomunicación y Grado en Ingeniería en Sistemas Electrónicos. De estos tres títulos, todos ellos verifiados por la Agencia Nacional de Evaluación de la Calidad y Acreditación, los dos primeros cuentan ya con el visto bueno de la Comunidad Autónoma de la Región de Murcia y comenzarán a impartirse el próximo curso 2010-2011. En la actualidad, la ETSIT trabaja en el diseño del título de Máster que habilitaría, a quienes lo cursen, para el ejercicio de la profesión de Ingeniero de Telecomunicación. El diseño de esta nueva titulación, así como de las pasarelas que permitirán a los actuales Ingenieros Técnicos obtener el título de Graduados, está previsto que se complete a lo largo del presente curso 2009-2010

Un lenguaje de modelado para el desarrollo de software auto-adaptativo

[ESP] Este trabajo presenta VML (Variability Modeling Language), un lenguaje de modelado para el desarrollo sistemático de software auto-adaptativo. VML permite modelar cómo debe adaptarse un sistema para mejorar su rendimiento ante contextos cambiantes. [ENG] In this article, we propose the Variability Modeling Language (VML), a novel model-driven approach that provides domain experts with a quality and cost-effective solution for developing self-adaptive software systems.Centro Universitario de la Defensa. Escuela de Turismo de Cartagena. Escuela Técnica Superior de Ingeniería Industrial UPCT. Escuela Técnica Superior de Ingeniería de Telecomunicación (ETSIT). Escuela de Ingeniería de Caminos y Minas (EICM). Escuela de Arquitectura e Ingeniería de Edificación (ARQ&IDE). Parque Tecnológico de Fuente Álamo. Navantia. Campus Mare Nostrum. Estación Experimental Agroalimentaria Tomás Ferr

REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting

In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed into a requirements modelling process. To achieve this we propose a requirements metamodel called REMM Requirements Engineering MetaModel) which includes the elements that should appear in a requirements model (requirements, stakeholders, test cases, etc.) together with the relationships that may appear between them. This metamodel is the basis of the REMM-Studio environment which enables: (1) to build graphical requirements models, (2) to validate them against the metamodel and against a set of additional OCL constraints, and (3) to automatically generate a navigable Software Requirements Specification (SRS) document as the main deliverable of the Requirements Engineering process. REMM-Studio is expected to ease the integration of requirements with other development models (e.g. component models) and to facilitate the validation of the SRS thanks to its navigability.MEDWSA (TIN2006-15175-C05-02), DEDALO (TIN2006-15175-C05-03), DESERT (PBC-05-012-3)Escuela Técnica superior de Ingeniería Agronómic

Defining the semantics of IT Service Management Models Using OWL and SWRL

Service management is a set of specialized organizational capabilities that provide value to customers in the form of services. Many organizations are aware of the need to adopt best practices in order to create an effective IT Service Management (ITSM) for enabling Business and IT integration. However, the reuse and interchange of service models is still quite limited in the area of IT service support due to the problems in connecting with natural language. In this context, this paper presents the ITIL-based Service Management Model aimed at capturing ITSM best practices by means of a formal ontology-based business DSL (Domain-Specific Language). We show how this DSL can be formally represented adopting the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). This ontology will precisely define the semantics associated to IT service management models, enabling different tools to interchange them without ambiguities. These models will be defined just in terms of the business logic, without any architectural or platform-specific consideration. That is, according to the OMG's four-layered architecture, the proposed model could be placed at a CIM level

Using Models@Runtime for Designing Adaptive Robotics Software: an Experience Report

Robotic systems are becoming increasingly complex, as their tasks and working environments become ever richer. As a result, there is an urgent need to provide robots with self-awareness and self-adaptation capabilities that allow them to autonomously deal, among other things, with software and hardware failures, changes in the environment, or interactions with other systems. The use of high-level models that can be adapted at run-time by the robot itself, promises to signi cantly boost the applicability and performance of robotic systems. This paper reports our experience in applying the DiVA model-driven adaptive approach to a robotics case study, describing its bene ts and limitations for robotics.This work has been partially funded by the EXPLORE project (Spanish MICINN, TIN2009-08572,http://www.dsie.upct.es/proyectos/web_explore/) and the DiVA project (EU FP7 STREP, contract 215412, http://www.ict-diva.eu/

Desarrollo de un Sistema de Reconocimiento de Marcas basado en Análisis de Contenido en Incertidumbre

El artículo describe el desarrollo de un sistema de reconocimiento de marcas dirigido a la lectura automática de documentos de tipo ‘test’. El proceso que se propone se basa en el análisis de documentos, previamente digitalizados, haciendo uso de técnicas de procesamiento de imágenes. En primer lugar, se realiza un aprendizaje supervisado del formato del documento y,posteriormente, se analiza su contenido, utilizando vectores de características. El proceso diseñado pretende aportar una solución versátil a las tareas de lectura y valoración de documentos de tipo ‘test’, que aborde los siguientes retos: (1) robustez ante la variabilidad en el formato del documento, (2) consistencia ante la usual falta de precisión en los mecanismos de fotocopiado y digitalización, y (3) limitación de la incertidumbre asociada al factor humano en el proceso de contestación. Con el fin de demostrar la viabilidad de la propuesta, se ha desarrollado un prototipo en MATLAB, cuyos resultados se detallan al final del artículo

Desarrollo de software adaptativo para robótica

La complejidad de los sistemas robóticas actuales aumenta a medida que lo hace la de sus tareas y entornos de trabajo. Así, cada vez más, resulta necesario dotar a los robots de mecanismos de adaptación que les permitan hacer frente, de manera autónoma y robusta, a los cambios que se produzcan en su entorno y a los posibles fallos que puedan ocurrir tanto en su software como en su hardware. Para ello, parece adecuado adoptar un enfoque basado en modelos de alto nivel, que el robot pueda interpretar y adaptar en tiempo de ejecución. En este artículo se describen los resultados de aplicar el enfoque de Desarrollo de Software Dirigido por Modelos (DSDM), propuesto en el Proyecto Europeo DiVA, para diseñar software adaptativo para robótica.Centro Universitario de la Defensa. Escuela de Turismo de Cartagena. Escuela Técnica Superior de Ingeniería Industrial UPCT. Escuela Técnica Superior de Ingeniería de Telecomunicación (ETSIT). Escuela de Ingeniería de Caminos y Minas (EICM). Escuela de Arquitectura e Ingeniería de Edificación (ARQ&IDE). Parque Tecnológico de Fuente Álamo. Navantia. Campus Mare Nostru

Prototyping Component-Based Self-Adaptive Systems with Maude

Software adaptation is becoming increasingly important as more and more applications need to dynamically adapt their structure and behavior to cope with changing contexts, available resources and user requirements. Maude is a high-performance reflective language and system, supporting both equational and rewriting logic specification and programming for a wide range of applications. In this paper we describe our experience in using Maude for prototyping component-based self-adaptive systems so that they can be formally simulated and analyzed. In order to illustrate the benefits of using Maude in this context, a case study in the robotics domain is presented.Ministerio de Ciencia e Innovación TIN2009-08572Fundación Séneca-CARM 15374/PI/1

StateML + : From Graphical State Machine Models to Thread-Safe Ada Code

This paper presents the StateML+ tool aimed at designing state-machines and automatically generating thread-safe and multi-tasking modular Ada code from them, following a Model-Driven Engineering approach. The StateML+ meta-model is an extension of a previous version, and now it offers improved modeling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.This research has been funded by the Spanish CICYT project MEDWSA (TIN2006-15175-C05-02) and the Regional Government of Murcia Seneca Program (02998-PI-05)